Choosing Among Alternative Futures
نویسندگان
چکیده
Non-determinism is a serious impediment to testing and debugging concurrent programs. Such programs do not execute the same way each time they are run, which can hide the presence of errors. Existing techniques use a variety of mechanisms that attempt to increase the probability of uncovering error conditions by altering the execution sequence of a concurrent program, but do not test for specific errors. This paper presents some preliminary work in deterministically executing a multithreaded program using a combination of an intermediate compiler form that identifies the set of writes of a shared variable by other threads are visible at a given read of that variable and aspect-oriented programming to control program execution. Specifically, the aspects allow a read of a shared variable to return any of the reaching definitions, where the desired definition can be selected before the program is run. As a result, we can deterministically run test cases. This work is preliminary and many issues have yet to be resolved, but we believe this idea shows some promise.
منابع مشابه
I/We narratives among African American families raising children with special needs.
This paper examines a statistics debate among African American caregivers raising children with disabilities for insights into the work of "African American mothering." Using ethnographic, narrative and discourse analyses, we delineate the work that African American mothers do--in and beyond this conversation--to cross ideological and epistemological boundaries around race and disability. Their...
متن کاملSupplier selection among alternative scenarios by Data envelopment analysis
A considerable problem in competitive trade world is choosing the best supply chain. As a result in much more serious circumstances of competitions looking for the best supplier for manufacturing, for preparing raw material, is very significant. Meantime suppliers have different scenarios to be fulfilled, such as changing selection variables like lead-time, transportation cost and transportatio...
متن کاملStrategic Order Splitting, Order Choice and Aggressiveness: Evidence from the Taiwan Futures Exchange
We investigate the strategic order-splitting behavior and order aggressiveness of different types of traders using a unique dataset on the Taiwan Futures Exchange. By examining the trades and orders for each and every account, we find that, as compared to domestic institutional traders and individual traders, foreign institutional traders and futures proprietary firms are more likely to split t...
متن کاملAlternative Futures for Panama's Systematic Development
This paper is based on research which aims to influence governmental policy, corporate and civil society leaders in Panama to explore alternative futures using a futures thinking approach to challenge the current economic development paradigm and move towards a systematic development model (economic, human and sustainable development). Causal Layered Analysis (CLA) and scenarios are the futures...
متن کاملDevising futures for universities in a multi-level structure: A methodological experiment
Universities have traditionally been key players in producing and validating new scientific knowledge, but other actors have also become major research performers. Meanwhile, the notion of research has been extended considerably, and the environment of universities is also undergoing fundamental changes. Thus, it is timely to consider alternative futures for them, to be better prepared for thei...
متن کامل